<html>
<head><meta charset="utf-8"><title>Running Miri from in-tree · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html">Running Miri from in-tree</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="209898484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209898484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209898484">(Sep 12 2020 at 20:27)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> is it currently possible to run Miri from within a rust checkout, without needing to do  full bootstrap?</p>



<a name="209898528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209898528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209898528">(Sep 12 2020 at 20:28)</a>:</h4>
<p>I saw a couple PRs from you relating to that, but the recent x.py stage changes seems to have affected it</p>



<a name="209925859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209925859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209925859">(Sep 13 2020 at 11:11)</a>:</h4>
<p>I haven't tried in a bit, but last time I checked <code>./x.py --stage 0 test src/tools/miri</code> worked.</p>



<a name="209925866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209925866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209925866">(Sep 13 2020 at 11:11)</a>:</h4>
<p>What I haven't figured out is a good way to run in-tree Miri on a single file -- <code>/x.py run</code> is not a thing, is it?</p>



<a name="209926174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209926174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209926174">(Sep 13 2020 at 11:17)</a>:</h4>
<p>It is, but barely. We can add miri to it though if that'd be helpful, please cc me on an issue</p>



<a name="209927913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209927913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209927913">(Sep 13 2020 at 12:05)</a>:</h4>
<p>done: <a href="https://github.com/rust-lang/rust/issues/76666">https://github.com/rust-lang/rust/issues/76666</a></p>



<a name="209927914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209927914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209927914">(Sep 13 2020 at 12:05)</a>:</h4>
<p>(nice issue number :D )</p>



<a name="209928627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209928627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209928627">(Sep 13 2020 at 12:24)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> I just tried, the above command still works for me</p>



<a name="209929921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209929921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Quy Nguyen <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209929921">(Sep 13 2020 at 12:54)</a>:</h4>
<p>I have VS2019 installed along with build tools. I'm pretty sure linker is included there?</p>



<a name="209939681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209939681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209939681">(Sep 13 2020 at 16:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="303115">Quy Nguyen</span> <a href="#narrow/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree/near/209929921">said</a>:</p>
<blockquote>
<p>I have VS2019 installed along with build tools. I'm pretty sure linker is included there?</p>
</blockquote>
<p>did you post in the wrong topic? I do not understand the question.^^ if it doesn't have anything to do with Miri, please click the "new topic" button at the bottom of the screen. :) (You might have to press "esc" one or two times to make that button appear)</p>



<a name="209939759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209939759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Quy Nguyen <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209939759">(Sep 13 2020 at 16:58)</a>:</h4>
<p>Argh, I did, meant it for the LLVM topic I made.</p>



<a name="209939775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Running%20Miri%20from%20in-tree/near/209939775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Running.20Miri.20from.20in-tree.html#209939775">(Sep 13 2020 at 16:59)</a>:</h4>
<p>that's okay, zulip can be confusing :D</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>